From 75bd04e0a07e09ef12f4da308029e922a8a6e34a Mon Sep 17 00:00:00 2001
From: Bernd Zeimetz <bernd@bzed.de>
Date: Wed, 5 May 2010 01:38:36 +0200
Subject: [PATCH] Require make check to succeed for a successful build.

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 0e6360a95..68bd20871 100755
--- a/debian/rules
+++ b/debian/rules
@@ -60,7 +60,7 @@ build-stamp: configure-stamp
 	# Add here commands to compile the package.
 	$(MAKE)
 	chmod u+x testo
-	$(MAKE) check || true
+	$(MAKE) check 
 
 	touch $@
 
-- 
2.30.2